Cartan observed that the Gauss-Codazzi-Mainardi-Peterson equations for surfaces in $\mathbb{E}^3$ are best derived from the integrability conditions satisfied by the so called Maurer-Cartan forms of the Euclidean motion group. A frame is a collection $\{x, e_1, e_2, e_3\}$ where $x$ is a point in $\mathbb{E}^3$ and $\{e_1, e_2, e_3\}$ a set of orthonormal vectors.
The set of all frames represents a 6-dimensional manifold.
continuar con esto (Section 2)
example left invariants vector fields and Maurer-Cartan form
See xournal 193 for the case of curves in $\mathbb{E}^2$.
Given a Lie group $G$ and a homogeneous space $X\equiv G/H$, the goal is to study submanifolds $M$ of $X$. In particular we want to know if two given submanifolds $M$ and $\tilde{M}$ are "congruent", in the sense that there is a "movement" $g\in G$ such that $g(M)=\tilde{M}$.
I know I have a $\mathfrak{g}$-valued differential form on $G$ which is left invariant, the Maurer-Cartan form $\theta$. The left-invariance of $\theta$ allows us to show (see @griffiths1974cartan lemma (1.3)) that given two maps $f,\tilde{f}$ from, let's say, $\mathbb{R}^n$ to $G$ then $\tilde{f}(x)=g\cdot f(x)$ if and only if $\tilde{f}^*(\theta)=f^*(\theta)$. This way $f^*(\theta)$ provide a set of invariants to characterize submanifolds in $G$.
(The Maurer-Cartan form in $p\in G$ is nothing but keeping a register of how the current frame $p$ varies along every possible direction in $G$. This variation is expressed as seen from $p$ itself. See this. The pullback of the Maurer-Cartan form to the manifold $M$ is nothing but keeping a register of how the current frame $p$ (which belongs to the image of $M$) varies in every direction of $M$. These are, precisely, the connection form in @needham2021visual I think.... Related Generalization of the flatness of R3)
Suppose our submanifolds $M$ and $\tilde{M}$ are parametrized respectively by maps $\alpha:\mathbb{R}^n \to X$ and $\tilde{\alpha}:\mathbb{R}^n \to X$. If we are in a particular case, for example $G=E(2)$, $X=\mathbb{E}^2$ and $M,\tilde{M}$ curves, we have a "canonical" way to lift $\alpha$ and $\tilde{\alpha}$ to $f_{\alpha}, f_{\tilde{\alpha}}:\mathbb{R} \to G$ (the unitary tangent vector and its orthogonal, together with the curve point itself). This way, if $f_{\alpha}^*(\theta)={f}_{\tilde{\alpha}}^*(\theta)$ we conclude that the "curves of frames" $f_{\alpha}$ and $f_{\tilde{\alpha}}$ are congruent, and therefore $\alpha$ and $\tilde{\alpha}$ are congruent. The key fact here is, I think, that the assignment
$$ \alpha \mapsto f_{\alpha} $$is $G$-invariant, in the sense that $\tilde{\alpha}=g\alpha$ if and only if $f_{\tilde{\alpha}}=g f_{\alpha}$. Otherwise we could have congruent curves in $E(2)$ which couldn't be detected by the invariants.
Question 1
But in the general case: can we always find such a "canonical lift"? Is there a method to find it? Or is the moving frames method restricted to a bunch of particular cases?
$\blacksquare$
The answer is no, there is no an standard way to assign a lift which is equivariant.
Indeed, this lack has given rise to lots of works on this topic. For example, together with the works cited by Robert Bryant, in @griffiths1974cartan it is said that for some cases, "by going to a sufficiently high order jet or contact element of a submanifold $M$ of a homogeneous space, there will naturally appear a good frame over $M$ in a similar manner to the appearance of the Frenet frames of a curve in Euclidean space".
In a more recent work @fels1999moving by Fels and Olver, it is said that "the group theoretical basis for the method has hindered the theoretical foundations from covering all the situations to which the practical algorithm could be applied". I understand that what they are doing in this work is to give a different approach to the method, in such a way that they solve this problem of the "standard assignment". They even say that "our formulation of the framework goes beyond what Griffiths envisioned, and successfully realizes Cartan’s original vision".
Question 2
Can you provide at least a brief list of examples of these assignments? For example:
$\blacksquare$
If I focus in particular cases I find another kind of doubts. In some cases it is possible to take maps from $G$ to the space $X$ itself (for example, from frames of $\mathbb{E}^3$ to $\mathbb{E}^3$ like in @griffiths1974cartan) which completely determine the frames, and this, I think, gives rise to the classical differential geometry facts...
...
Idea clave: la cross section. Permite visualizar muy bien el espacio de órbitas, y parametrizarlo de una forma relativamente sencilla
________________________________________
________________________________________
________________________________________
Author of the notes: Antonio J. Pan-Collantes
INDEX: